Mathematical Logic a course with exercices -----> http://min.us/mKt6ptJCX